A Behavioral Module System for the Pi-Cal ulus

نویسنده

  • Sriram K. Rajamani
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On two generalizations of semi-projective modules: SGQ-projective and $pi$-semi-projective

Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...

متن کامل

Dilations for $C^ast$-dynamical systems with abelian groups on Hilbert $C^ast$-modules

‎In this paper we investigate the dilations of completely positive definite representations‎ ‎of (C^ast)-dynamical systems with abelian groups on Hilbert (C^ast)-modules‎. ‎We show that if ((mathcal{A}‎, ‎G,alpha)) is a (C^ast)-dynamical system with (G) an abelian group‎, ‎then every completely positive definite covariant representation ((pi,varphi,E)) of ((mathcal{A}‎, ‎G,alpha)) on a Hilbert ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001